Some logical invariants of algebras and logical relations between algebras
نویسندگان
چکیده
منابع مشابه
Some Logical Invariants of Algebras and Logical Relations between Algebras
Let Θ be an arbitrary variety of algebras and H an algebra in Θ. Along with algebraic geometry in Θ over the distinguished algebra H, a logical geometry in Θ over H is considered. This insight leads to a system of notions and stimulates a number of new problems. Some logical invariants of algebras H ∈ Θ are introduced and logical relations between different H1 and H2 in Θ are analyzed. The pape...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملFuzzy Logical Algebras and Their Applications
1Department of Mathematics, Hubei University for Nationalities, Enshi, Hubei 445000, China 2Department of Mathematics, Yazd University, P.O. Box 89195-741, Yazd, Iran 3Institute of Mathematics and Computer Science, Wroclaw University of Technology, 50-370 Wroclaw, Poland 4Department of Mathematics Education, Gyeongsang National University, Jinju 660-701, Republic of Korea 5Department of Mathema...
متن کاملLogical Divergence, Logical Entropy, and Logical Mutual Information in Product MV-Algebras
In the paper we propose, using the logical entropy function, a new kind of entropy in product MV-algebras, namely the logical entropy and its conditional version. Fundamental characteristics of these quantities have been shown and subsequently, the results regarding the logical entropy have been used to define the logical mutual information of experiments in the studied case. In addition, we de...
متن کاملDecidable properties of logical calculi and of varieties of algebras
We give an overview of decidable and strongly decidable properties over the propositional modal logics K, GL, S4, S5 and Grz, and also over the intuitionistic logic Int and the positive logic Int+. We consider a number of important properties of logical calculi: consistency, tabularity, pretabularity, local tabularity, various forms of interpolation and of the Beth property. For instance, consi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: St. Petersburg Mathematical Journal
سال: 2008
ISSN: 1061-0022
DOI: 10.1090/s1061-0022-08-01023-6